1. Formal methods in artificial intelligence
پدیدآورنده : Allan Ramsay
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (أذربایجان الشرقیة)
موضوع : Artificial intelligence - Methodology,Logic, Symbolic and mathematical,Reasoning
رده :
Q
,
335
,.
R35
,
1988
2. Formal methods in artificial intelligence
پدیدآورنده : Ramsay, Allan, 3591-
کتابخانه: (طهران)
موضوع : Methodology ، Artificial intelligence,، Logic, Symbolic and mathematical,، Reasoning
رده :
Q
335
.
R35
1988
